pool operator - German English Dictionary